简体版 English
تسجيل الدخول إنشاء حساب جديد

نظرية التشغيل الذاتي بالانجليزي

يبدو
"نظرية التشغيل الذاتي" أمثلة على
الترجمة إلى الإنجليزيةجوال إصدار
  • automata (computation)
أمثلة
  • Staiger is an active researcher in combinatorics on words, automata theory, effective dimension theory and algorithmic information theory.
    كان شتايجر باحثاً نشطاً في التوافقية على الكلمات ونظرية التشغيل الذاتي، ونظرية البعد فعالة ونظرية المعلومات الخوارزمية.
  • He is most notable for his contributions to several fields of discrete mathematics including formal languages and automata theory.
    اشتهر أرمين بمساهماته في العديد من مجالات الرياضيات المتقطعة بما في ذلك اللغة الشكلية و نظرية التشغيل الذاتي.
  • He is most notable for his contributions to several fields of discrete mathematics including formal languages and automata theory.
    اشتهر أرمين بمساهماته في العديد من مجالات الرياضيات المتقطعة بما في ذلك اللغة الشكلية و نظرية التشغيل الذاتي.
  • It is widely used for regular expressions, which is the context in which it was introduced by Stephen Kleene to characterize certain automata, where it means "zero or more".
    ويتم استخدامها على نطاق واسع لأشكال التعابير النمطية، وهو السياق الذي قدم من قبل كلين ستيفن لتوصيف نظرية التشغيل الذاتي بعينها، حيث تعني "صفر أو أكثر".
  • Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.
    وأفضل وصف للأساليب الشكلية هو أنها تطبيق يتميز بالتنوع واسع النطاق بشكل كبير لأساسيات المعلوماتية النظرية، على وجه الخصوص حسابات المنطق واللغات الشكلية ونظرية التشغيل الذاتي وسيمانتك البرامج، ولكن كذلك نظام الأنواع وأنواع البيانات الجبرية للمشكلات فيما يتعلق بمواصفات الأجهزة والتحقق منها.